(FILECREATED " 5-JUL-75 16:02:25" <LENAT>OLD.;1 1668   

     changes to:  OLD-ADD-CANDS OLD-PICK-CAND OLD-PRUNE OLD-SUB-CANDS)


  (LISPXPRINT (QUOTE OLDCOMS)
	      T T)
  (RPAQQ OLDCOMS ((FNS OLD-ADD-CANDS OLD-PICK-CAND OLD-PRUNE OLD-SUB-CANDS)))
(DEFINEQ

(OLD-ADD-CANDS
  [LAMBDA (C)
    (SORT C (QUOTE MORE-INT))
    (FRPLACD (SOME C (QUOTE PRUNABLE))
	     NIL)
    (MERGE C CANDS (QUOTE MORE-INT])

(OLD-PICK-CAND
  [LAMBDA NIL
    (PROG NIL
      P1  (COND
	    ((ILESSP (CSINT CANDS)
		     DO-THRESH)
	      (DE-THRESH)
	      (FIND-NEW-CANDS)
	      (GO P1)))
          (SETQ CAND (CSBEST CANDS))
          (CPRIN1 5 "NEW CAND = " CAND)
          (SETQ CANDS (COND
	      ((CSOTHERS CANDS))
	      (CAND-TAIL)))
          (COND
	    ((RECENTLY-TRIED CAND)
	      (CPRIN1 3 " REPEATER CAND SKIPPED " CRLF)
	      (DE-THRESH)
	      (AND (ZEROP DO-THRESH)
		   (DIE " DO-THRESH IDENTICALLY ZERO "))
	      (GO P1))
	    ((AND (SETQ CS-OP (COP CAND))
		  (SETQ CS-B (CB CAND))
		  (SETQ CS-P (CP CAND))
		  (ENSURE-TOP))
	      (SETQ CS-INT (CINT CAND))
	      (SETQ CS-ACT (CACT CAND))
	      (SETQ GEXISTING (GETB CS-B CS-P))
	      (RETURN CAND)))
          (GO P1])

(OLD-PRUNE
  [LAMBDA (N)
    (FRPLACD (SOME CANDS (QUOTE PRUNABLE))
	     NIL])

(OLD-SUB-CANDS
  [LAMBDA (SL)
    [MAPC SL (FUNCTION (LAMBDA (S)
	      (SOME CANDS (FUNCTION (LAMBDA (C)
			(AND (EQUAL (CACT C)
				    (CACT S))
			     (RPLACA C (IQUOTIENT (CINT C)
						  2]                            (* This is rather an inefficient way to 
										do this.)
    (SORT CANDS (QUOTE MORE-INT])
)
(DECLARE: DONTCOPY
  (FILEMAP (NIL (258 1644 (OLD-ADD-CANDS 270 . 420) (OLD-PICK-CAND 424 . 1224) (OLD-PRUNE 1228 . 1310) (OLD-SUB-CANDS
1314 . 1641)))))
STOP